A fuzzy real-time temporal logic
نویسندگان
چکیده
منابع مشابه
Real Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that timed languages specified by the past fragment of MITL, can be accepted by deterministic timed automata. On the other hand we provide a proof that certain languages expressed in the future fragment of MITL are not dete...
متن کاملTemporal Logic for Real-time Systems*
points of the classical control theory which is based on the frequency domain description of the plant, so that the H-infinity control theory has been actively studied in the recent years. It is the design method in the frequency domain based on the modern control theory. However, the H-infinity theory at the present time lacks the identification of the frequency domain. The topics treated here...
متن کاملAn Expressive Temporal Logic for Real Time
We add to the standard temporal logic with the modalities ”Until” and ”Since”, a sequence of “counting modalities”: For each n the modality Cn(X), which says that X will be true at least at n points in the next unit of time, and its past counterpart ←− C n, which says that X has happened at least n times in the last unit of time. We prove that this temporal logic is as expressive as can be hope...
متن کاملGuaranteeing Temporal Validity with a Real-Time Logic of Knowledg
In applications where data needs to be shared among distributed components it is desirable to have overall data consistency at all times. This is crucial for safety-critical systems, where inconsistency can lead to failures. Overall continuous data consistency is, however, rarely possible to achieve. For distributed systems, a relaxed view based on the temporal validity of data can be proven su...
متن کاملA PRACTICAL APPROACH TO REAL-TIME DYNAMIC BACKGROUND GENERATION BASED ON A TEMPORAL MEDIAN FILTER
In many computer vision applications, segmenting and extraction of moving objects in video sequences is an essential task. Background subtraction, by which each input image is subtracted from the reference image, has often been used for this purpose. In this paper, we offer a novel background-subtraction technique for real-time dynamic background generation using color images that are taken fro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2013
ISSN: 0888-613X
DOI: 10.1016/j.ijar.2013.06.004